Sign in

Design and Analysis of Cloud-Based Architectures with KLAIM and Maude.

Martin WirsingJonas EckhardtTobias MühlbauerJosé Meseguer
Published in: WRLA (2012)
Keyphrases