Design, analysis and Reasoning about Tools: Abstracts from the Second Workshop (Aalborg, 1992, 20-21 August)

Authors

  • Flemming Nielson

DOI:

https://doi.org/10.7146/dpb.v21i417.6730

Abstract


The second DART workshop took place on August 20-21, 1992 in Aalborg. The primary aim of the workshop was to increase the awareness of DART participants for each other's work, and to stimulate cooperation between the various groups. This report contains a brief overview of DART as well as abstracts of the 20 talks given at the workshop and a status report of DART as of summer 1992.

Author Biography

Flemming Nielson

Downloads

Published

1992-09-01

How to Cite

Nielson, F. (1992). Design, analysis and Reasoning about Tools: Abstracts from the Second Workshop (Aalborg, 1992, 20-21 August). DAIMI Report Series, 21(417). https://doi.org/10.7146/dpb.v21i417.6730

Issue

No. 417 (1992): PB-417 Design, analysis and Reasoning about Tools: Abstracts from the Second Workshop (Aalborg, 1992, 20-21 August)

Section

Articles

License

Creative Commons License

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