AuthorRance Cleaveland Year of Publication2018 Conference NameInternational Symposium on Leveraging Applications of Formal Methods PublisherSpringer, Cham Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS
