From Graphical Representations to Formal Specifications and Return: Translation Algorithms in the Harmony.

Sergiu Dascalu, Peter Hitchcock, Narayan C. Debnath, Andrew Klempau

Browse the full IRI paper archive.