Universität Bremen  
  FB 3  
  AG BKB > Publikationen > Suche > Deutsch
English
 

Suche nach Veröffentlichungen - Detailansicht
 
Art der Veröffentlichung: Artikel in Konferenzband
Autor: Christoph Lüth, Dennis Walter
Titel: Certifiable specification and verification of C programs
Buch / Sammlungs-Titel: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Band: 5850
Serie / Reihe: Lecture Notes in Computer Science
Erscheinungsjahr: 2009
Verleger: Springer
PDF Version: http://dx.doi.org/10.1007/978-3-642-05089-3_27
Status: Reviewed
Letzte Aktualisierung: 19. 01. 2011

 Zurück zum Suchergebnis
  
   
Autor: Automatisch generierte Seite 		 
  AG BKB 
Zuletzt geändert am: 9. Mai 2023   impressum