Friedrich L. Bauer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1976–1982
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1982 | EuroCrypt | Cryptology - Methods and Maxims. | Friedrich L. Bauer |
| 1982 | ICSE | From Specifications to Machine Code: Program Construction through Formal Reasoning. | Friedrich L. Bauer |
| 1978 | GI | Design of a Programming Language for a Program Transformation System. | Friedrich L. Bauer |
| 1976 | ICSE | Programming as an Evolutionary Process. | Friedrich L. Bauer |