PROCEEDINGS
WORKSHOP PROCEEDINGS (OPEN ACCESS)
WORKSHOP PROCEEDINGS (OPEN ACCESS)
Gleirscher, Mario, Jaco van de Pol, and Jim Woodcock (Eds.). "Applicable Formal Methods (AppFM), 1st FM Workshop", EPTCS, Vol. 349, arXiv:2111.07538 (2021).
Gleirscher, Mario, Jaco van de Pol, and Jim Woodcock (Eds.). "Applicable Formal Methods (AppFM), 1st FM Workshop", EPTCS, Vol. 349, arXiv:2111.07538 (2021).