×

Found 26 Documents (Results 1–26)

Empowering the Event-B method using external theories. (English) Zbl 1502.68176

ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 18-35 (2022).
MSC:  68Q60
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software