Representing hierarchical state machine models in SMT-LIB - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nancy A. Day, Amirhossein Vakili. Representing hierarchical state machine models in SMT-LIB. In Proceedings of the 8th International Workshop on Modeling in Software Engineering, MiSE@ICSE 2016, Austin, Texas, USA, May 16-17, 2016. pages 67-73, ACM, 2016. [doi]

This author has not been identified. Look up 'Nancy A. Day' in GoogleThis author has not been identified. Look up 'Amirhossein Vakili' in Google

runs on WebDSL