Login / Signup

Programming by Multiset Transformation.

Jean-Pierre BanâtreDaniel Le Métayer
Published in: Commun. ACM (1993)
Keyphrases