We stand with Ukraine  

Dean Kraftt

According to our database1, Dean Kraftt authored at least 1 paper in 1981.

Collaborative distances:
  • no known Dijkstra number2.
  • no known Erdős number3.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

1981
Avid: A System for the Interactive Development of Verifiably Correct Programs.
[BibTeX]
Dean Kraftt
PhD thesis, 1981


  Loading...