1
Published 2010
Table of Contents: ... by Means of a Hybrid Functional and Imperative Language -- Hierarchical Place Trees: A Portable Abstraction...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...
View full text
Electronic eBook