{"identifier":"nobleid:/w1/20260515/9DA7FECB","arkIdentifier":"ark:/48914/w1/20260515/9DA7FECB","version":1,"workTitle":"Measures for Verification and Implementation of Algorithms","workType":"Journal Article","authors":"Arie Dickman","description":null,"workUrl":null,"existingDoi":"10.1007/978-3-030-93363-0_2","createdAt":"2026-05-15T17:00:17.794577Z","canonicalUrl":"https://nobleid.org/ark:/48914/w1/20260515/9DA7FECB.v1"}