Digitale Bibliotheek |
|
||||||||||||||||||||||||||||
Sluiten | Bladeren door artikelen uit een tijdschrift | ||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Tijdschrift beschrijving | |||||||||||||||||||||||||||||
Alle jaargangen van het bijbehorende tijdschrift | |||||||||||||||||||||||||||||
Alle afleveringen van het bijbehorende jaargang | |||||||||||||||||||||||||||||
Alle artikelen van de bijbehorende aflevering | |||||||||||||||||||||||||||||
Details van artikel 106 van 130 gevonden artikelen
|
|||||||||||||||||||||||||||||
Proof-based verification approaches for dynamic properties: application to the information system domain |
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Details van artikel 106 van 130 gevonden artikelen
|
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland |