Semi-inversion of Guarded Equations

Generative Programming and Component Engineering - Lecture Notes in Computer Science ◽

10.1007/11561347_14 ◽

2005 ◽

pp. 189-204 ◽

Cited By ~ 6

Author(s):

Torben Æ Mogensen

Download Full-text