Home
People
Groups
Recent
Samples
JavaScript
Widgets
Search Feeds
About
Holzmann, Gerard J.
Software from
CaltechTHESIS advisor
Florian, Mihai (2014)
Analysis-Aware Design of Embedded Systems Software
;
10.7907/VB1N-Y042
Florian, Mihai (2010)
SCALE: Source Code Analyzer for Locating Errors
;
10.7907/KXWA-7Y81