VDM at large: Modelling the EMVCo 2nd Generation Kernel
Author: Leo Freitas
Paper Information
| Title: | VDM at large: Modelling the EMVCo 2nd Generation Kernel |
| Authors: | Leo Freitas |
| Proceedings: | F-IDE F-IDE-18 Proceedings |
| Editors: | Paolo Masci, Rosemary Monahan and Virgile Prevosto |
| Keywords: | |
| Abstract: | |
| Pages: | 1 |
| Paper: |  |