Rendezvous with ADA - a Proof Theoretical View

A. Pnueli, W-P de Roever

Research output: Book/Report › Report › Academic

Keywords

@book{8c1c34f6c78e406289c7742d1b7c0efd,

title = "Rendezvous with ADA - a Proof Theoretical View",

keywords = "Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen",

author = "A. Pnueli and {de Roever}, W-P",

year = "1982",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "82-12",

publisher = "Unknown Publisher",

edition = "RUU-CS",

}