Hernán Vanzetto
发表
Stephan Merz,
Leslie Lamport,
Denis Cousineau,
2012,
FM.
Zhong Shao,
Ji-Yong Shin,
Hernán Vanzetto,
2019,
SoCC.
Zhong Shao,
Ji-Yong Shin,
Wolf Honoré,
2019,
Proceedings of the ACM Symposium on Cloud Computing.
Stephan Merz,
Hernán Vanzetto,
Stephan Merz,
2016,
ABZ.
Stephan Merz,
Hernán Vanzetto,
Stephan Merz,
2015,
ArXiv.
Stephan Merz,
Hernán Vanzetto,
Stephan Merz,
2014,
NASA Formal Methods.
Stephan Merz,
Hernán Vanzetto,
Stephan Merz,
2012,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Stephan Merz,
Hernán Vanzetto,
Stephan Merz,
2012,
LPAR.
Stephan Merz,
Hernán Vanzetto,
Stephan Merz,
2011,
PxTP.
Stephan Merz,
Hernán Vanzetto,
Stephan Merz,
2012
.
Stephan Merz,
Hernán Vanzetto,
2011
.
Stephan Merz,
Hernán Vanzetto,
2014,
NASA Formal Methods.
L. Lamport,
Stephan Merz,
Damien Doligez,
2012,
FM.