Critical Systems
by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
Computer scienceSoftware engineeringComputer programsComputer software, verification
Writing a summary for young readers…
For young readers
Book data: Open Library
by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
Book data: Open Library