Provably Correct Systems: Community, connections, and citations

Bowen, J.P. (2014). Provably Correct Systems: Community, connections, and citations. Paper presented at Ernst-Ruediger Olderog Festschrift, Oldenburg, Germany, September 2014. London South Bank University.

Abstract

More Information

Divisions: Schools > Engineering > Computing and Informatics
Date Deposited: 20 Dec 2016 16:24
Creators:
CreatorsORCID
Bowen, JP
Item Type: Conference or Workshop Item (UNSPECIFIED)
Creators: Bowen, JP
Depositing User: LSBU Open Access Team
Subjects: ?? cs.DL ??
?? cs.LO ??
?? D.2.4; D.2.8; F.4.1; I.2.4; J.4; K.2 ??
Last Modified: 22 Feb 2018 10:26
Item ID: 253

Download

Text
1509.02908v2.pdf

Download (1MB) | Preview

Export Citation

Share

Statistics

IRStats2

Downloads
Activity Overview
23Downloads
35Hits

Statistics for this record are available via IRStats2