Jacek Galowicz
According to our database1,
Jacek Galowicz
authored at least 2 papers
between 2012 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor.
Proceedings of the FM 2016: Formal Methods, 2016
2012
Proceedings of the 6th Many-core Applications Research Community (MARC) Symposium. Proceedings of the 6th MARC Symposium, 2012