Stem lic$ (all stems)

3 papers:

HCI-DE-2015-SouzaB #collaboration #design

Extending MoLIC for Collaborative Systems Design (LGdS, SDJB), pp. 271–282.

SEKE-2015-LopesMBC #diagrams #named

MoLVERIC: An Inspection Technique for MoLIC Diagrams (AL, ABM, SDJB, TC), pp. 13–17.

LICS-2013-Comon-Lundh #logic #modelling #named #problem #security

LICS: Logic in Computer Security — Some Attacker’s Models and Related Decision Problems (HCL), p. 1.