Archived tweet #8305 from the @leastfixedpoint Twitter Archive

RT @gannimo: Programming with threads but want strong memory compartmentalization? Try SMV! #CCS16 nebelwelt.net/publications/f…