Checking well-formedness of pure-method specifications (2008)

Cached


Other Repositories/Bibliography

  • DBLP
  • by Arsenii Rudich , Ádám Darvas , Peter Müller
    Venue:Eds.): Proc. Int. Symp. Formal Methods. Vol. 5014 of LNCS (Springer-Verlag
    Citations:12 - 3 self