Daniela Nardi
According to our database1,
Daniela Nardi
authored at least 1 paper
in 1988.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1988
SDS - A LOTOS-Based Tool for Symbolic Debugging.
Proceedings of the Formal Description Techniques, 1988