Works matching DE "MICROSOFT Live Labs (Company)"

Formal methods in LARGE-SCALE computing systems.

Published in:

ITNOW, 2013, v. 55, n. 2, p. 52, doi. 10.1093/itnow/bwt025

By:

• Malik, Saif U. R.;
• Khan, Samee U.

Publication type:

Article