Title: Formal methods for distributed system development
First published: 2000
Subjects: Congresses, Electronic data processing, Distributed processing, Formal methods (Computer science), Electronic data processing, distributed processing, Computer science
LC classification: QA76.9.D5 I33845 2000