Design, Analysis and Reasoning about Tools: Abstracts from the Third Workshop

Forfattere

  • Flemming Nielson

DOI:

https://doi.org/10.7146/dpb.v22i457.6930

Resumé

.

Forfatterbiografi

Flemming Nielson

Downloads

Publiceret

1993-10-01

Citation/Eksport

Nielson, F. (1993). Design, Analysis and Reasoning about Tools: Abstracts from the Third Workshop. DAIMI Report Series, 22(457). https://doi.org/10.7146/dpb.v22i457.6930

Nummer

Nr. 457 (1993): PB-457 Design, Analysis and Reasoning about Tools: Abstracts from the Third 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.