Login / Signup

Bringing safe, dynamic parallel programming to the spark verifiable subset of ada.

S. Tucker Taft
Published in: HILT (2013)
Keyphrases