Loading...
conference paper
Improving Precision of Use Cases by Formally Specifying Operations
2001
"Can Formal Methods Cope with Software-Intensive Systems", Dagstuhl Seminar
Type
conference paper
Authors
Publication date
2001
Published in
"Can Formal Methods Cope with Software-Intensive Systems", Dagstuhl Seminar
EPFL units
Available on Infoscience
September 20, 2005
Use this identifier to reference this record