Sciweavers

Share
IWPC
2006
IEEE

An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification

10 years 8 months ago
An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification
Coen De Roover, Isabel Michiels, Kim Gybels, Kris
Added 12 Jun 2010
Updated 12 Jun 2010
Type Conference
Year 2006
Where IWPC
Authors Coen De Roover, Isabel Michiels, Kim Gybels, Kris Gybels, Theo D'Hondt
Comments (0)
books