Projekt: söktermen amnesord=('formella metoder') gav 2 träffar
1.
Correct Component Software
/ Institutionen för informationsbehandling
2.
ACID-ASTRA: asynchronous circuit design : a stepwise refinement approach
/ Institutionen för informationsbehandling