home
>
book reviews
> Amir Pnueli
Google >
Amir Pnueli
author : Amir Pnueli
Short works
A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software. 1999.
(In
FM'99 volume 1
)
Bridging the E-Business Gap Through Formal Verification. 1999.
(In
Industrial-Strength Formal Methods in Practice
)
Formal modelling of
C. elegans
. development: a scenario-based approach. 2004.
(In
Modelling in Molecular Biology
)