industrial standard computer algebra institution theory verification formal methods semantics algebraic specification hets cmtc2010
Mehr anzeigen