Search Results
Search results: 4
-
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science #12233)
by Antonio Cerone • Riccardo Guidotti • Martin Kutrib • Emil Sekerinski • José N. Oliveira • Brijesh Dongol • Nelma Moreira • Daniel Ratiu • Marie Farrell • Matt Luckcuck • Diego Marmsoler • José Campos • Troy Astarte • Laure Gonnord • Luis Couto • Pedro Monteiro • David DelmasThis book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verifica... More
Language: ENGCopyright: 2020 -
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science #12232)
by Antonio Cerone • Riccardo Guidotti • Martin Kutrib • Emil Sekerinski • José N. Oliveira • Brijesh Dongol • Nelma Moreira • Daniel Ratiu • Marie Farrell • Matt Luckcuck • Diego Marmsoler • José Campos • Troy Astarte • Laure Gonnord • Luis Couto • Pedro Monteiro • David DelmasThis book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verifica... More
Language: ENGCopyright: 2020 -
The Green Bundle: Pairing the Market with the Planet
The market for green products has expanded rapidly over the last decade, but most consumers need something more than eco-benefits to motivate their purchases. Magali A. Delmas and David Colgan argue that many green products now offer the total package—a "green bundle" that checks the environmental b... More
Language: ENGCopyright: 2018 -
Parent and Family Engagement in Higher Education: AEHE Volume 41, Number 6 (J-B ASHE Higher Education Report Series (AEHE))
by Judy Marquez Kiyama • Casandra E. Harper • Delma Ramos • David Aguayo • Laura A. Page • Kathy Adams RiesterGain a comprehensive understanding of the role that parents and families play in college students’ lives through their involvement starting with K–12, moving through the transition to college, and then focusing on the college experience itself.The authors broaden the conversation to reflect the actu... More
Language: ENGCopyright: 2015