Crossmark

Summary of: Dynamic Structural Operational Semantics

Crossref DOI link: https://doi.org/10.1007/978-3-030-34968-4_30

Published Online: 2019-11-22

Published Print: 2019

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Johansen, Christian

Owe, Olaf
License Information

Text and Data Mining valid from 2019-01-01
More Information

Chapter History

First Online: 22 November 2019

Conference Information

Conference Acronym: IFM

Conference Name: International Conference on Integrated Formal Methods

Conference City: Bergen

Conference Country: Norway

Conference Year: 2019

Conference Start Date: 2 December 2019

Conference End Date: 6 December 2019

Conference Number: 15

Conference ID: ifm2019

Conference URL: http://ifm2019.hvl.no/