Vol-2018⫷ Vol-2019 ⫸Vol-2020
urn:nbn:de:0074-2019-0


Vol-2019/docsymp_6⫷Vol-2019/docsymp_7⫸Vol-2019/docsymp_8
Danielle Gaither

Verification of Non-functional Requirements Using Formal Semantics