Hob: A Tool for Verifying Data Structure Consistency

Authors:

Publisher website

1 January 2005

book chapter
Published by Springer Nature

p. 237-241
DOI:10.1007/978-3-540-31985-6_16

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit: