A proof system for concurrent ADA programs

R.T. Gerth, W-P de Roever

Research output: Book/Report › Report › Academic

Keywords

@book{ec582fcba7ac4de2ba7a7dbbcd6e0ea5,

title = "A proof system for concurrent ADA programs",

keywords = "Wiskunde en Informatica (WIIN), Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen",

author = "R.T. Gerth and {de Roever}, W-P",

year = "1983",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "83-02",

publisher = "Unknown Publisher",

edition = "RUU-CS",

}