bernhard k aichernig
Tests and Proofs
Print on DemandThis book constitutes the refereed proceedings of the 10th International Conference on Tests and ...
Formal Methods for Components and Objects
Besorgungstitel - wird vorgemerktInhaltsangabeASLan++ - A formal security specification language for distributed Systems.- Orchest...
- 1