Personensuche
X
?
2
Interpreting slavery at museums and historic sites
Interpreting history series ; 5;American Association for State and Local History book series
Exemplar:
Zentrale:E04 a kun 095.7/616
?
Proceedings of the 8th international workshop on Specification and verification of component-based systems ,
6
ESC4 : a modern caching ESC for Java:
, In:
?
Proceedings of the 2009 ACM symposium on Applied Computing ,
7
Extended static checking in JML4 : benefits of multiple-..:
, In:
?
ECOOP 2007 – Object-Oriented Programming; Lecture Notes in Computer Science ,
8
Non-null References by Default in Java: Alleviating the Nul..:
, In:
?
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering ,
9
An integrated verification environment for JML : archite..:
, In:
?
Proceedings of the 21st European conference on Object-Oriented Programming ,
10