Login / Signup
Bernd Schoeller
Publication Activity (10 Years)
Years Active: 2004-2009
Publications (10 Years): 0
</>
Publications
</>
Jonathan S. Ostroff
,
Faraz Ahmadi Torshizi
,
Hai Feng Huang
,
Bernd Schoeller
Beyond contracts for concurrency.
Formal Aspects Comput.
21 (4) (2009)
Lisa (Ling) Liu
,
Bertrand Meyer
,
Bernd Schoeller
Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation.
TAP
(2007)
Bernd Schoeller
,
Tobias Widmer
,
Bertrand Meyer
Making Specifications Complete Through Models.
Architecting Systems with Trustworthy Components
(2004)