30th European Symposium on Programming (ESOP 2021)

Event name

Event type

Event for scientific audience

Start date

27-03-2021

End date

01-04-2021

Location

Luxembourg

Country

Luxembourg

Event format Veranstaltungsformat

Online

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

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Moosbrugger, Marcel ; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovács, Laura	Automated Termination Analysis of Polynomial Probabilistic Programs	Konferenzbeitrag Inproceedings	2021
	2		Pagel, Jens ; Zuleger, Florian	Strong-separation Logic	Konferenzbeitrag Inproceedings	2022