Affordable Access

Proofs in parameterized specifications Extended version

Authors
Publication Date
Source
OpenGrey Repository
Keywords
License
Unknown
External links

Abstract

France

Statistics

Seen <100 times