Title: Formal techniques for computer systems and business processes
First published: 2005
Subjects: Congresses, Evaluation, Web services, Telecommunication systems, Computer systems, Formal methods (Computer science), Business, data processing
LC classification: QA76.9.E94 E64 2005, QA76.9.E94 E64 2005