TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 40 records were found in 0.172 seconds
Using UML Environment Models for Test Case Generation
Software Engineering (Workshops), 399-406, 2008
Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings
ISBN: 3-540-41196-81945, 2000
Searching for a Global Algorithm
KBSE, 52-59, 1995
Generische Sprachen in Systemen zur formalen Softwareentwicklung (Extended Abstract)
GI Jahrestagung, 247-252, 1993