๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[IEEE 2013 IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) - Kyoto, Japan (2013.07.22-2013.07.26)] 2013 IEEE 37th Annual Computer Software and Applications Conference - Interactive Verification of Safety-Critical Software

โœ Scribed by Cruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge Sousa


Book ID
121790703
Publisher
IEEE
Year
2013
Weight
393 KB
Category
Article
ISBN
0769549861

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES