Behavioral Verification of Distributed Concurrent Systems with BOBJ (2003)

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

Document Versions

Behavioral Verification of Distributed Concurrent Systems with BOBJ –Joseph Goguen, Kai Lin — 2003 — Proceedings, Conference on Quality Software
Behavioral verification of distributed concurrent systems with BOBJ –Joseph Goguen — 2003 — Proceedings, Conference on Quality Software