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