TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 82 records were found in 0.422 seconds
Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
ISBN: 3-540-49699-84262, 2006
Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
ISBN: 3-540-40664-62758, 2003
Testing Distributed Component Based Systems Using UML/OCL
GI Jahrestagung (1), 608-614, 2001
Towards Correctness, Efficiency and Reusability of Transformational Developments
GI Jahrestagung, 241-246, 1993