Filteren
Sorteren
3 resultaten
gebondenEngels9781402047572
5-7-2006
Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Meer
paperbackEngels9789048171859
19-10-2010
Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Meer
GebondenEngels9789390729159
1-1-2022