1993
DOI: 10.7146/dpb.v22i457.6930
|View full text |Cite
|
Sign up to set email alerts
|

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

Abstract: .

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Publication Types

Select...
1

Relationship

1
0

Authors

Journals

citations
Cited by 1 publication
(2 citation statements)
references
References 112 publications
0
2
0
Order By: Relevance
“…It is grouped on reports from each of the "work areas" that were mentioned in the Introduction. For more detailed descriptions of the aims of each area please consult Section 3 of [95] "Abstracts from the first Workshop".…”
Section: Current Status Of Dart (Summer 1992)mentioning
confidence: 99%
See 1 more Smart Citation
“…It is grouped on reports from each of the "work areas" that were mentioned in the Introduction. For more detailed descriptions of the aims of each area please consult Section 3 of [95] "Abstracts from the first Workshop".…”
Section: Current Status Of Dart (Summer 1992)mentioning
confidence: 99%
“…A brief overview of DART will be given in the remainder of this Introduction; for a more detailed description please consult Section 3 of [95]. The remaining sections list the abstracts of the talks given (Section 2), report on the current state of activities (Sections 3 and 4) and give an overview of all research publications from DART participants (Section 5).…”
Section: Introductionmentioning
confidence: 99%