High-integrity code generation for state-based formalisms

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations
Original languageUndefined/Unknown
Title of host publicationSoftware Engineering, 2000. Proceedings of the 2000 International Conference on
Pages725-727
Number of pages3
StatePublished - 2000

Cite this