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

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

Research output: Contribution to journalArticle

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

ASJC Scopus subject areas

  • Computer Science(all)

Cite this