Export 1 results:
Search results for biblio_year:0
Filters: 1 is biblio_year:2006 and 2 is field_research_area:6 and 3 is biblio_year:2003 and 4 is biblio_type:Proceedings, refereed and 5 is biblio_year:2008 and 6 is biblio_year:2011 and 7 is biblio_type:Talks, contributed and Author is Harald Gall Richard N. Taylor  [Reset Search]
2011
W. Araujo, L. Briand and Y. Labiche. Enabling the Runtime Assertion Checking of Concurrent Contracts for the Java Modeling Language In ACM/IEEE Int. Conference on Software Engineering (ICSE), Edited by H. G. R. Taylor and N. Medvidovic. ACM New York, NY, USA, 2011.