1
by Kramer, Max Emanuel
Published 2019
KIT Scientific Publishing
... consistency. It is formalized using set theory and monitors changes to avoid matching and diffing problems...