SlideShare is now on Android. 15 million presentations at your fingertips.  Get the app

×
  • Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
 

Formal Verification of Programming Languages

by Working at Jason Reich on Dec 16, 2009

  • 1,044 views

Literature Seminar — Presented to PLASMA research group on 8th December 2009

Literature Seminar — Presented to PLASMA research group on 8th December 2009

Statistics

Views

Total Views
1,044
Views on SlideShare
997
Embed Views
47

Actions

Likes
0
Downloads
0
Comments
0

1 Embed 47

http://www-users.cs.york.ac.uk 47

Accessibility

Categories

Upload Details

Uploaded via SlideShare as Adobe PDF

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
Post Comment
Edit your comment

Formal Verification of Programming Languages Formal Verification of Programming Languages Presentation Transcript