Title: Formal Methods Second World Congress Proceedings
Subjects: Logic design, Information Systems, Computer science, Software engineering, Computer software, Congresses, Development, Formal methods (Computer science), System design, Mathematics, Formale Methode, Kongress, Computer software, development