Working Document -- Formalising Software Requirements with Large Language Models

Open in new window