Title: FM'99-- formal methods
First published: 1999
Subjects: Congresses, Development, Formal methods (Computer science), Application software, Developpement, Engenharia de programacao (software), Conception de Systemes, Genie logiciel, Logiciels d'application, Methodes formelles (Informatique), Congres, Progiciels, Logic design, Computer science, Software engineering, Application software, development, Computers, congresses, System design
LC classification: QA76.9.F67 W67 1999