book

Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems

Ravindra Naik Published in 2016 in New York, NY by ACM

More from

More about

Reference details