Angelo, Catia MarcondesCatia MarcondesAngeloClaesen, LucLucClaesen2021-09-292021-09-291996https://imec-publications.be/handle/20.500.12860/1058Formalizing a behavioral specification language for correct transformational designProceedings paper