[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 4916 || Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code

✍ Scribed by Leue, Stefan; Merino, Pedro

• Book ID: 120554727
• Publisher: Springer Berlin Heidelberg
• Year: 2008
• Weight: 226 KB
• Category: Article
• ISBN: 3540797076
• DOI: 10.1007/978-3-540-79707-4_4