Correct-by-construction model driven engineering composition operators

Overview of attention for article published in Formal Aspects of Computing, January 2016

Altmetric Badge

About this Attention Score

So far, Altmetric has seen 2 X posts from 2 X users, with an upper bound of 1,257 followers.

Correct-by-construction model driven engineering composition operators - Online First - Springer https://t.co/FEVlBwUrjc

"Correct-by-construction model driven engineering composition operators" published in Formal Aspects of Computing: https://t.co/bL7rv9esd7