SCTL-MUS: A Formal Methodology for Softw
β
JosΓ© J. Pazos Arias; Jorge GarcΓa Duque
π
Article
π
2001
π
Springer
π
English
β 331 KB