Stem tion$ (all stems)

2 papers:

TACAS-2015-Urban #abstract domain #contest #named #termination

FuncTion: An Abstract Domain Functor for Termination — (Competition Contribution) (CU), pp. 464–466.

CSCW-2014-HansenKJBV

Civic action brokering platforms: facilitating local engagement with ACTion Alexandria (DLH, JAK, PTJ, JCB, TV), pp. 1308–1322.