Kiniry, James R.
3  Ergebnisse:
Personensuche X
?
1

Verified gaming:

, In: Proceedings of the 1st International Workshop on Games and Software Engineering,
 
?
2

Soundness and completeness warnings in ESC/Java2:

, In: Proceedings of the 2006 conference on Specification and verification of component-based systems,
 
?
3

Maize Phasic Development:

, In: Agronomy Monographs; Modeling Plant and Soil Systems,
Kiniry, J. R. - p. 55-70 , 2015
 
1-3