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

"Formal Verification in Java" by Shura Iline, Vladimir Ivanov @ JEEConf 2013, Kiev, Ukraine

by on Jun 03, 2013

  • 660 views

 

Statistics

Views

Total Views
660
Views on SlideShare
412
Embed Views
248

Actions

Likes
1
Downloads
0
Comments
0

1 Embed 248

http://jeeconf.com 248

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 in Java" by Shura Iline, Vladimir Ivanov @ JEEConf 2013, Kiev, Ukraine "Formal Verification in Java" by Shura Iline, Vladimir Ivanov @ JEEConf 2013, Kiev, Ukraine Presentation Transcript