Mohammed Faci;Luigi Logrippo;Bernard Stepien
-;-;-
The algebraic specification language LOTOS: an industrial experience
Conference proceedings on Formal methods in software development