ParentsSign in to add mentor
ChildrenSign in to add trainee
CollaboratorsSign in to add collaborator
BETA: Related publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.
|Besta M, Stomp F. (2006) An assertional correctness proof of a self-stabilizing ℓ-exclusion algorithm Proceedings of the Ieee International Conference On Engineering of Complex Computer Systems, Iceccs. 199-208|
|Besta M, Stomp F. (2005) A complete mechanization of correctness of a string-preprocessing algorithm Formal Methods in System Design. 27: 5-27|
|Besta M, Stomp F. (2002) Mechanization of a proof of string-preprocessing in Boyer-Moore's pattern matching algorithm Proceedings of the Ieee International Conference On Engineering of Complex Computer Systems, Iceccs. 2002: 68-77|