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 Advances in verification presented in TACAS’13 Piterman, Nir
 2017
 19 5 p. 511-515
 artikel
2 A general model checking framework for various memory consistency models Abe, Tatsuya
 2016
 19 5 p. 623-647
 artikel
3 An integrated specification and verification technique for highly concurrent data structures Abdulla, Parosh Aziz
19 5 p. 549-563
 artikel
4 An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures Abdulla, Parosh Aziz
 2016
 19 5 p. 549-563
 artikel
5 Efficient family-based model checking via variability abstractions Dimovski, Aleksandar S.
 2016
 19 5 p. 585-603
 artikel
6 Flexible SAT-based framework for incremental bounded upgrade checking Fedyukovich, Grigory
 2015
 19 5 p. 517-534
 artikel
7 metaSMT: focus on your application and not on solver integration Riener, Heinz
 2016
 19 5 p. 605-621
 artikel
8 Synthesis of circular compositional program proofs via abduction Dillig, Isil
 2015
 19 5 p. 535-547
 artikel
9 Underapproximation of procedure summaries for integer programs Ganty, Pierre
 2016
 19 5 p. 565-584
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland