Sciweavers

4350 search results - page 41 / 870
» Case studies for contract-based systems
Sort
View
ENTCS
2007
73views more  ENTCS 2007»
13 years 9 months ago
Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems
Carlos Bazílio, Edward Hermann Haeusler, Ma...