Achim D. Brucker
2 published titles
Tests and proofs : 6th international conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012 : proceedings
(Contributor)
1 edition
- ISBN: 9783642304729
- Springer
- 2012
- Details
Secure and trustworthy service composition : the Aniketos approach
(Contributor)
1 edition
- ISBN: 9783319135175
- Springer
- 2014
- Details
