30th European Symposium on Programming (ESOP 2021)

View Statistics Email Alert RSS Feed

Description

Event name
30th European Symposium on Programming (ESOP 2021)
 
Event type
Event for scientific audience
 
Start date
27-03-2021
End date
01-04-2021
 
Location
Luxembourg
Country
Luxembourg
 
Event format Veranstaltungsformat
Online

Publications Publikationen


Filter:
Author:  Katoen, Joost-Pieter

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Moosbrugger, Marcel ; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovács, Laura Automated Termination Analysis of Polynomial Probabilistic ProgramsKonferenzbeitrag Inproceedings2021