Affordable Access

Proofs in parameterized specifications Extended version

Authors
  • Kirchner, Helene
  • Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy...
  • Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy...
  • Institut National Polytechnique de Lorra...
  • Centre National de la Recherche Scientif...
Publication Date
Jan 01, 1991
Source
OpenGrey Repository
Keywords
License
Unknown
External links

Abstract

France

Report this publication

Statistics

Seen <100 times