Total Books: 1 - 1 /1
Formal Refinement for Operating System Kernels
The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement ...
Lire la suite
Total Books: 1 - 1 /1
