Java Software Development with Event B: A Practical Guide

Néstor Cataño Collazos

Anthology ID:

DBLP:series/synthesis/2020Collazos

Volume:

2020

Year:

2020

Venue:

synthesis_series

Publisher:

Morgan & Claypool Publishers

URL:

https://doi.org/10.2200/S00957ED1V01Y201910SWE005

DOI:

10.2200/S00957ED1V01Y201910SWE005

DBLP:

series/synthesis/2020Collazos

BibTeX:

Download Copy BibTeX to Clipboard Copy Bibkey "collazos-2020-java" to Clipboard

Google Scholar Internet Archive Scholar Semantic Scholar