CVM - A Verified Framework for Microkernel Programmers.

Thomas In der Rieden Alexandra Tsyban

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

main contribution
artificial intelligence
machine learning
information systems
website
object oriented
software development
lightweight
theoretical framework