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

Formal Verification of Programming Languages

by Working at Jason Reich on Dec 16, 2009

  • 1,046 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,046
Views on SlideShare
999
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