15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)
 
Editor Herausgeber_in
 
Publisher Herausgeber
Schriftenreihe des Instituts für Computersprachen, TU Wien
 
Place of publishing Erscheinungsort
Bericht 2009-X-1
 

Publications Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kirner, Raimund ; Haas, Walter Automatic Calculation of Coverage Profiles for Coverage-based TestingKonferenzbeitrag Inproceedings2009
2Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus From Trusted Annotations to Verified KnowledgeKonferenzbeitrag Inproceedings2009
3Kirner, Raimund ; Zimmermann, Wolf ; Richter, Dirk On Undecidability Results of Real Programming LanguagesKonferenzbeitrag Inproceedings2009