Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A mini challenge: build a verifiable filesystem Joshi, Rajeev
 2007
 19 2 p. 269-272
 artikel
2 Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations? Chalin, Patrice
 2007
 19 2 p. 139-158
 artikel
3 Code-carrying theories Jacobs, Bart
 2006
 19 2 p. 191-203
 artikel
4 Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems Börger, Egon
 2007
 19 2 p. 225-241
 artikel
5 Editorial (VSTTE Special Issue) Cooke, J.
 2007
 19 2 p. 137-138
 artikel
6 Highly dependable concurrent programming using design for verification Betin-Can, Aysu
 2006
 19 2 p. 243-268
 artikel
7 Minimal refinements of specifications in modal and temporal logics Gorogiannis, Nikos
 2007
 19 2 p. 273
 artikel
8 On assertion-based encapsulation for object invariants and simulations Naumann, David A.
 2006
 19 2 p. 205-224
 artikel
9 Specification and verification challenges for sequential object-oriented programs Leavens, Gary T.
 2007
 19 2 p. 159-189
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland