Formal system verification state-of-the-art and future trends
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | |
| Format: | Electronic Resource |
| Langue: | anglais |
| Publié: |
Cham
Springer International Publishing AG
[2018]
|
| Sujets: | |
| Accès en ligne: | Available for University of the Philippines System via SpringerLink. Click here to access Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy |