Jensen, K. - Podelski, A.: Tools and algorithms for the construction and analysis of systems ; LC (Names) ; www (Department of Computer Science, University of Aarhus, Denmark) ; www (Department of Computer Science, University of Aarhus, Denmark) (profesní údaje)
Database
Soubor osobních jmen a jmen rodin (rodů)
References
(3) - Books
person
openseadragon
Number of the records: 1
This site uses cookies to make them easier to browse. Learn more about
how we use cookies.
