Towards a verified MiniSML/SECD system

Article Properties

• Language

  English
• DOI (url)

  10.1049/sej.1993.0019
• Publication Date

  1993/01/01
• Journal

  Software Engineering Journal
• Indian UGC (journal)
• Refrences

  46
• Todd Simpson
• Graham Birtwistle
• Brian Graham