Formal Methods in System Design

Title Titel
Formal Methods in System Design
 
e-ISSN
1572-8102
 
ISSN
0925-9856
 
Publisher Herausgeber
SPRINGER
 
Publisher's Address Herausgeber Adresse
VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Filter:
Author:  Zuleger, Florian

Results 1-2 of 2 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Demyanova, Yulia ; Pani, Thomas ; Veith, Helmut ; Zuleger, Florian Empirical software metrics for benchmarking of verification toolsArtikel Article 2017
2Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian Rely-guarantee bound analysis of parameterized concurrent shared-memory programsArtikel Article 2021