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 = {http://www.bodden.de/pubs/TUD-CS-2011-0272.pdf},
}
Powered by bibtexbrowser