Information for "Automatic Program Verification using Separation Logic"

Jump to: navigation, search

Basic information

Display titleAutomatic Program Verification using Separation Logic
Default sort keyAutomatic Program Verification using Separation Logic
Page length (in bytes)4,041
Page ID11
Page content languageEnglish (en)
Page content modelwikitext
Indexing by robotsAllowed
Number of views5,083
Number of redirects to this page0

Page protection

EditAllow all users
MoveAllow all users

Edit history

Page creatorIosif (Talk | contribs)
Date of page creation09:02, 12 December 2014
Latest editor78.249.56.197 (Talk)
Date of latest edit09:17, 18 December 2014
Total number of edits5
Total number of distinct authors2
Recent number of edits (within past 91 days)0
Recent number of distinct authors0
Retrieved from "http://vecolib.imag.fr/index.php/Automatic_Program_Verification_using_Separation_Logic"