Verification, Model Checking, and Abstract InterpretationYu-Fang Chen, Thomas Jensen, Ondřej LengálHäftad, 2026833 kr
Verification, Model Checking, and Abstract InterpretationOndrej Lengal, Thomas Jensen, Yu-Fang Chen E-bok20261 022 kr