Bloem, Roderick <br/><br/>
Synthesizing adaptive test strategies from temporal logic specifications.  [electronic resource] 

 -  Formal methods in system design  2019 
 - 103-135 p.  digital 
<br/><br/> Publication Type: Journal Article 
<br/><br/><label>ISSN: </label>0925-9856 
<br/><br/><label>Standard No.: </label>10.1007/s10703-019-00338-9  doi