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

Forfattere

  • Flemming Nielson

DOI:

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

Resumé


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.

Forfatterbiografi

Flemming Nielson

Downloads

Publiceret

1992-09-01

Citation/Eksport

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

Nummer

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

Sektion

Articles

Licens

Creative Commons License

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