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 (online)

Country

Europe

Event format Veranstaltungsformat

On Site

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

RIS EndNote Bibtex Send via email

		Preview	Authors / Editors	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