Structuring a Formal Specification starting from Process Modeling.

Daniel Riesco, German Montejano, Robert Uzal, Alejandro Sanchez, Ana Gabriela Garis, Narayan C. Debnath

Browse the full CAINE paper archive.