Nota, Giancarlo Pacini, Giuliano <br/><br/>
Querying of Executable Software Specifications 

 - 705-716 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Behavior Inspection<br/>Executable Spections<br/>State Transition Analysis