Differences
This shows you the differences between two versions of the page.
simple_linked_list_operation_in_jahob [2007/05/14 12:00] vkuncak created |
simple_linked_list_operation_in_jahob [2007/05/14 12:01] (current) vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== Simple list example in Jahob ====== | + | ====== Simple linked list operation in Jahob ====== |
The following is an example of a method and its annotation in the Jahob verification system. | The following is an example of a method and its annotation in the Jahob verification system. |