Treffer: Checking Event-Based Specifications in Java Systems
Title:
Checking Event-Based Specifications in Java Systems
Authors:
Source:
In Electronic Notes in Theoretical Computer Science 7 February 2006 144(3):107-132
Database:
ScienceDirect