Design, Analysis and Reasoning about Tools: Abstracts from the First Workshop (Aarhus, Danmark, 1991, September 16-17

Authors

  • Flemming Nielson

DOI:

https://doi.org/10.7146/dpb.v20i367.6598

Abstract

The first DART workshop took place on September 16th and September 17th at Aarhus University. It attracted some 26 attendees and 16 half-hour talks were given. This booklet gives a brief introduction, abstracts of all talks, and a detailed description of the goals of the DART project.

Author Biography

Flemming Nielson

Downloads

Published

1991-10-01

How to Cite

Nielson, F. (1991). Design, Analysis and Reasoning about Tools: Abstracts from the First Workshop (Aarhus, Danmark, 1991, September 16-17. DAIMI Report Series, 20(367). https://doi.org/10.7146/dpb.v20i367.6598

Issue

No. 367 (1991): PB-367 Design, Analysis and Reasoning about Tools: Abstracts from the First Workshop

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.