Formal Design of Safety-critical Embedded Systems.

Naijun Zhan

Browse the full MEMOCODE paper archive.