Søgeresultater - David Schmidt
- Mostrando 1 - 3 resultados de 3
-
Programming Languages and Systems : 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004... af David Schmidt
Udgivet 2004, c2004Klassifikationsnummer: Loading...Ver documento en línea
Findes i: Loading...
BogRegistro independiente -
Verification, Model Checking, and Abstract Interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings / af Ranjit Jhala, David Schmidt
Udgivet 2011, c2011Klassifikationsnummer: Loading...Ver documento en línea
Findes i: Loading...
BogRegistro independiente -
Static Analysis : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings / af Antoine Miné, David Schmidt
Udgivet 2012, c2012Klassifikationsnummer: Loading...Ver documento en línea
Findes i: Loading...
BogRegistro independiente