Login / Signup

Domain Engineering: a "Radical Innovation" for Software and Systems Engineering? A Biased Account.

Dines Bjørner
Published in: Verification: Theory and Practice (2003)
Keyphrases