Login / Signup

Conditioned Semantic Slicing via Abstraction and Refinement in FermaT.

Martin P. WardHussein ZedanT. Hardcastle
Published in: CSMR (2005)
Keyphrases