I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Combinatorial Testing for VDM:

, In: 2010 8th IEEE International Conference on Software Engineering and Formal Methods,
Larsen, Peter Gorm ; Lausdahl, Kenneth ; Battle, Nick - p. 278-285 , 2010
Link: https://doi.org/10.1109/SEFM.2010.32