1,721,000 research outputs found
Consistency in ISpec specifications:interface role diagrams, sequence diagrams and inheritance
No full textExtending Dafny to concurrency:Owicki-Gries style program verification for the Dafny program verifier
No full text
Onderzoek naar een geintegreerd systeem van bestuurlijke informatieverstrekking ten dienste van middelbaar en hoger management
No full text
Stark's Rely/Guarantee formalisme intuitief verklaard, verfijnd en toegepast op [EWD703]
No full text
- …
