Pierre Jacquot, Atif Mashkoor,
"The Role of Validation in Refinement-Based Formal Software Development"
, in Atif Mashkoor and Qing Wang and Bernhard Thalheim: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, College Publications, Seite(n) 202-219, 2018
Original Titel:
The Role of Validation in Refinement-Based Formal Software Development
Sprache des Titels:
Englisch
Original Buchtitel:
Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday