SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

Certifying and Synthesizing Membership Equational Proofs
 by Dr. Steven Eker, Dr. Patrick Lincoln, Grigore Rocsu & Jose Meseguer.

Lecture Notes in Computer Science, Volume 2805.
From International Symposium of Formal Methods Europe (FME 2003).
Edited by Keijiro Araki and Stefania Gnesi and Dino Mandrioli.
Springer, Berlin.
September, 2003.
Pages 359–380.


BibTEX Entry
@InProceedings{fme2003,
    AUTHOR = {Grigore Ro\backslashcsu and Steven Eker and Patrick Lincoln and Jose Meseguer},
    TITLE = {Certifying and Synthesizing Membership Equational Proofs},
    VOLUME = {2805},
    YEAR = {2003},
    PAGES = {359--380},
    MONTH = {September},
    ADDRESS = {Berlin},
    URL = {http://www.csl.sri.com/papers/1559/},
    SERIES = {Lecture Notes in Computer Science},
    BOOKTITLE = {International Symposium of Formal Methods Europe (FME 2003)},
    PUBLISHER = {Springer},
    EDITOR = {Keijiro Araki and Stefania Gnesi and Dino Mandrioli}
}
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy