Skip to Main content Skip to Navigation
Directions of work or proceedings

First International Workshop on Property Verification for Software Components and Services

Abstract : Workshop Proceedings
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00481603
Contributor : Christian Attiogbe Connect in order to contact the contributor
Submitted on : Friday, May 7, 2010 - 12:21:32 AM
Last modification on : Wednesday, July 3, 2019 - 10:34:21 AM

Identifiers

  • HAL Id : hal-00481603, version 1

Citation

Christian Attiogbe, Daniel Kroening. First International Workshop on Property Verification for Software Components and Services. ETH Zurich, pp.72, 2007. ⟨hal-00481603⟩

Share

Metrics

Record views

27