Behavioral Verification of Distributed Concurrent Systems with BOBJ (2003)

by Joseph Goguen , Kai Lin
Venue:Proceedings, Conference on Quality Software
Citations:7 - 2 self