"Legato: An At-Most-Once Analysis with Applications to Dynamic ..."

John Toman, Dan Grossman (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics