Formal methods in LARGE-SCALE computing systems
Saif Ur Rehman Malik, Samee U. Khan · ITNOW · 2013
Saif U. R. Malik FBCS and Samee U. Khan FBCS, from the Department of Electrical and Computer Engineering, North Dakota State University, talk about the significance and role of formal methods in delivering reliable and correct software.