(1 - 15 from 15
)
Programme of ESOP at ETAPS 2006etaps.org › Programme › progESOP
etaps.org
Mar 27, — ... USA): Flow Locks: Towards a Core Calculus for Dynamic Flow Policies: Niklas Broberg and David Sands (Chalmers Univ. of Technology and ...
sorted by relevance / date