Main » Synth-ICR » 2020 » 2020 »

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