Login / Signup

B Model Abstraction Combining Syntactic and Semantic Methods.

Jacques JulliandNicolas StoulsPierre-Christophe BuéPierre-Alain Masson
Published in: ASM (2010)
Keyphrases