Formal Specification of Software Engineering Tutorial - Video Lecture

An Excellent Professor of IIT Bombay, Prof. Umesh Bellur, Department of Computer Science and Engineering explained the concept of Formal Specification of Software Engineering. Its a very neat lecture. Feel free to ask questions, doubts and contribute your ideas...


[video=youtube;_6ZLCSPmgc8]https://www.youtube.com/watch?v=_6ZLCSPmgc8&feature=BF&list=PL8751DA481F0F0D17&index=6[/video]