Formal Methods in Software Engineering

Circular Behavioral Reasoning

Year2011
TypeTalk
StatusPublished
AuthorsDorel Lucanu, Grigore Rosu

Links

Abstract

Circular Behavioral Reasoning

BibTeX

@Talk{name, author = {D. Lucanu and G. Rosu}, title = {Circular Behavioral Reasoning }, institution = {Centrum Wiskunde & Informatica (CWI)}, year = {2011}, month = {November}, url = {http://www.cwi.nl/events/lectures-dexter-kozen-and-dorel-lucanu [CWI]} }