Advertisement

m-NEVER system summary

  • Bill Pase
  • Sentot Kromodimoeljo
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 310)

Key words and Phrases

Automatic induction decision procedures forward rules interactive theorem proving program verification rewrite rules 

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Bill Pase
    • 1
  • Sentot Kromodimoeljo
    • 1
  1. 1.I.P. Sharp Associates LimitedOttawaCanada

Personalised recommendations