Rigorous development of safety-critical systems - Prokhorova, Yuliya, kirjoittaja (Turku Centre for Computer Science, 2015)
Sammanfattning + 7 artiklar