Welcome to the WASPI workshop

Robert Dyer, Vasant Gajanan Honavar, Gary T. Leavens, Hoan Anh Nguyen, Tien N. Nguyen, Hridesh Rajan

Research output: Contribution to journalEditorial

All Science Journal Classification (ASJC) codes

  • Software

Cite this

@article{f5e26cac7d384060b6c24465db9fbc68,
title = "Welcome to the WASPI workshop",
author = "Robert Dyer and Honavar, {Vasant Gajanan} and Leavens, {Gary T.} and Nguyen, {Hoan Anh} and Nguyen, {Tien N.} and Hridesh Rajan",
year = "2018",
month = "11",
day = "9",
language = "English (US)",
pages = "III",
journal = "WASPI 2018 - Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, Co-located with FSE 2018",

}

Welcome to the WASPI workshop. / Dyer, Robert; Honavar, Vasant Gajanan; Leavens, Gary T.; Nguyen, Hoan Anh; Nguyen, Tien N.; Rajan, Hridesh.

In: WASPI 2018 - Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, Co-located with FSE 2018, 09.11.2018, p. III.

Research output: Contribution to journalEditorial

TY - JOUR

T1 - Welcome to the WASPI workshop

AU - Dyer, Robert

AU - Honavar, Vasant Gajanan

AU - Leavens, Gary T.

AU - Nguyen, Hoan Anh

AU - Nguyen, Tien N.

AU - Rajan, Hridesh

PY - 2018/11/9

Y1 - 2018/11/9

UR - http://www.scopus.com/inward/record.url?scp=85061769247&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85061769247&partnerID=8YFLogxK

M3 - Editorial

AN - SCOPUS:85061769247

SP - III

JO - WASPI 2018 - Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, Co-located with FSE 2018

JF - WASPI 2018 - Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, Co-located with FSE 2018

ER -