Logic And Software Engineering: . . .
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1996 |
| Editors | Amir Pnueli |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1951079 |
About Logic And Software Engineering: . . .
This workshop brought together top researchers in logic and software engineering in the unique occasion of celebrating the 70th birthday of Professor C S Tang who has devoted much of his long research career to establishing a solid logic foundation for software engineering.