Transformation-Oriented Programming: A Development Methodology for High Assurance Software

V. L. Winter, S. Roach, G. Wickstrom

Research output: Contribution to journalArticlepeer-review

4 Scopus citations
Original languageEnglish (US)
Pages (from-to)49-117
Number of pages69
JournalADVANCES IN COMPUTERS
Volume58
StatePublished - 2003

ASJC Scopus subject areas

  • Computer Science(all)

Cite this