Login / Signup

An incremental verification framework for component-based software systems.

Kenneth JohnsonRadu CalinescuShinji Kikuchi
Published in: CBSE (2013)
Keyphrases