Modular Reasoning with Join Point Interfaces

Inostroza, Milton; Tanter, Éric; Bodden, Eric

Modular Reasoning with Join Point Interfaces (bibtex)

@techreport{TUD-CS-2011-0272,
	author = {Milton Inostroza and \'{E}ric Tanter and Eric Bodden},
	title = {Modular Reasoning with Join Point Interfaces},
	month = oct,
	year = {2011},
	institution = {CASED},
	number = {TUD-CS-2011-0272},
	url = {https://www.bodden.de/pubs/TUD-CS-2011-0272.pdf},
}