Towards sound development of PIXITP, conformance test suites, and conforming implementations for various Formal Description Techniques.

Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath

Browse the full ISCC paper archive.