Title: Applying formal methods
First published: 2004
Subjects: Congresses, Computer network protocols, Electronic data processing, Formal methods (Computer science), Distributed processing, Software engineering
LC classification: QA76.9.F67 F67 2004b