Core Hybrid Event-B III: Fundamentals of a reasoning framework

Autor:	Banach, Richard
Zdroj:	In Science of Computer Programming July 2023
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect