Behavioral verification of distributed concurrent systems with BOBJ (2003)

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