Ingen varer
Kassen / rediger kurv
In modern distributed systems, such as the Internet of Things or cloud computing, verifying their correctness is an essential aspect.