Telecharger Cours

The Hob System for Verifying Software Design Properties - CORE

The specification states that prior to a legal call to add, the parameter n must be non-null (card(n)=1), and that n must not belong to Content.



Download