Cite
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper)
MLA
Sebastian Altmeyer and Étienne André and Silvano Dal Zilio and Loïc Fejoz and Michael González Harbour and Susanne Graf and J. Javier Gutiérrez and Rafik Henia and Didier Le Botlan and Giuseppe Lipari and Julio Medina and Nicolas Navet and Sophie Quinton and Juan M. Rivas and Youcheng Sun, et al. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). 2023. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.on1389869074&authtype=sso&custid=ns315887.
APA
Sebastian Altmeyer and Étienne André and Silvano Dal Zilio and Loïc Fejoz and Michael González Harbour and Susanne Graf and J. Javier Gutiérrez and Rafik Henia and Didier Le Botlan and Giuseppe Lipari and Julio Medina and Nicolas Navet and Sophie Quinton and Juan M. Rivas and Youcheng Sun, Altmeyer, S., André, E., Dal Zilio, S., Fejoz, L., Harbour, M. G., Graf, S., Gutiérrez, J. J., Henia, R., Le Botlan, D., Lipari, G., Medina, J., Navet, N., Quinton, S., Rivas, J. M., & Sun, Y. (2023). From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper).
Chicago
Sebastian Altmeyer and Étienne André and Silvano Dal Zilio and Loïc Fejoz and Michael González Harbour and Susanne Graf and J. Javier Gutiérrez and Rafik Henia and Didier Le Botlan and Giuseppe Lipari and Julio Medina and Nicolas Navet and Sophie Quinton and Juan M. Rivas and Youcheng Sun, Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, et al. 2023. “From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper).” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsoai&AN=edsoai.on1389869074&authtype=sso&custid=ns315887.