A compositional automata-based semantics and preserving transformation rules for testing property patterns

Overview of attention for article published in Formal Aspects of Computing, December 2014

Altmetric Badge

Mentioned by

twitter: 1 X user

Citations

dimensions_citation: 6 Dimensions

Readers on

mendeley: 4 Mendeley

Summary X Dimensions citations

So far, Altmetric has seen 1 X post from an account with 243 followers.

A compositional automata-based semantics and preserving transformation rules for testing property patterns. -… http://t.co/gcoCfAEC3I

Reply Repost Favourite