The seven specification ur-languages : vimarsana.com

A brief overview of the formal specification landscape

Related Keywords

Amir Pneuli , Edsger Dijkstra , , Computation Tree Logic , Tony Hoare , Communicating Sequential Processes , Ifactor Model , Labeled Transition Systems ,