Lawrence Yelowitz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1976–1984
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1984 | SP | Practical Experience with an Ada-Based Formal Specification/Language on a Large Project. | Lawrence Yelowitz |
| 1979 | ICALP | Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness. | Arthur G. Duncan, Lawrence Yelowitz |
| 1978 | SIGCSE | A project approach to structure and correctness in Pitt's second computer science course. | Lawrence Yelowitz |
| 1976 | ICSE | Control Structure Abstractions of the Backtracking Programming Technique (Abstract). | Susan L. Gerhart, Lawrence Yelowitz |