1
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... and Evolution -- Requirement Engineering Meets Security: A Case Study on Modelling Secure Electronic...

2
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... Engineering -- On the Consistency of Int-cardinality Constraints --...