Trace Refinement in B and Event-B

Stock, Sebastian; Mashkoor, Atif; Leuschel, Michael; Egyed, Alexander

doi:10.1007/978-3-031-17244-1_19

by Sebastian Stock, Atif Mashkoor, Michael Leuschel and Alexander Egyed

Reference:

Sebastian Stock, Atif Mashkoor, Michael Leuschel and Alexander Egyed: Trace Refinement in B and Event-B, in Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings (Adrián Riesco, Min Zhang, eds.), Springer, volume 13478, 2022.

Bibtex Entry:

@conference{DBLP:conf/icfem/StockMLE22,
	author = {Sebastian Stock and Atif Mashkoor and Michael Leuschel and Alexander Egyed},
	booktitle = {Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, {ICFEM} 2022, Madrid, Spain, October 24-27, 2022, Proceedings},
	doi = {10.1007/978-3-031-17244-1\_19},
	editor = {Adri{\'{a}}n Riesco and Min Zhang},
	pages = {316--333},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Trace Refinement in {B} and Event-B},
	url = {https://doi.org/10.1007/978-3-031-17244-1\_19},
	volume = {13478},
	year = {2022},
	bdsk-url-1 = {https://doi.org/10.1007/978-3-031-17244-1%5C_19}}