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

Forfattere

  • Flemming Nielson

DOI:

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

Resumé

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.

Forfatterbiografi

Flemming Nielson

Downloads

Publiceret

1991-10-01

Citation/Eksport

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

Nummer

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

Sektion

Articles

Licens

Creative Commons License

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