30th European Symposium on Programming (ESOP 2021)

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

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

PreviewAuthor(s)TitleTypeIssue Date
1Moosbrugger, Marcel ; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovács, Laura Automated Termination Analysis of Polynomial Probabilistic ProgramsKonferenzbeitrag Inproceedings2021
2Pagel, Jens ; Zuleger, Florian Strong-separation LogicKonferenzbeitrag Inproceedings 2022