Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study
- 期刊名称IPSJ Digital Courier
- 作者Affeldt, Reynald; Kobayashi, Naoki; Yonezawa, Akinori
- 卷第1卷
- 电子ISSN1349-7456
- 文件大小211.76KB
- 发表时间2005
- DOI10.2197/ipsjdc.1.117
- 页码117-127
[IEE IEE Colloquium on `Managing Stress at Work' - Birmingham, UK (18 March 1997)] IEE Colloquium on `Managing Stress at Work' - Employer liability for work related stress after “Walker”Lister, J. · 1997
[IEE IEE Colloquium on `Managing Stress at Work' - Birmingham, UK (18 March 1997)] IEE Colloquium on `Managing Stress at Work' - Handling stress in realityRawlins, J. · 1997
[IEE IEE Colloquium on `Managing Stress at Work' - Birmingham, UK (18 March 1997)] IEE Colloquium on `Managing Stress at Work' - The helpful devil of stressBrisley, V. · 1997
Police stress and teacher stress at work and at homeRobert T. Sigler; Charles Norton Wilson; Zack Allen · 1991
Social construction of work stress: Australian newsprint media portrayal of stress at work, 1997–98Lewig, K. A.; Dollard, M. F. · Work & Stress · 2001
[IEE IEE Colloquium on `Managing Stress at Work' - Birmingham, UK (18 March 1997)] IEE Colloquium on `Managing Stress at Work' - The role of education and training in managing stress in the workplaceCrossland, B. · 1997
The Handbook of Work and Health Psychology (Schabracq/Work and Health Psychology) || Stress Management at Work: Secondary Prevention of StressSchabracq, Marc J.; Winnubst, Jacques A.M.; Cooper, Cary L. · 2002
The Science of Occupational Health (Stress, Psychobiology and the New World of Work) || Stress Hormones at WorkLundberg, Ulf; Cooper, Cary L. · 2010
Energy Deprivation in Man—Methodological Problems and PossibilitiesJan Kjellberg; Lennart Levi; Jan Palmblad; Lennart Paulsson; Töres Theorell; Roy Yensen · 1977
Bridging the science – policy gapLennart Levi · 2002
Unemployment and health—An introductionLennart Levi · 1987
PrefaceLennart Levi · 1972
2 METHODOLOGICAL CONSIDERATIONS IN PSYCHOENDOCRINE RESEARCHLennart Levi · 1972
8 GENERAL DISCUSSIONLennart Levi · 1972
SUMMARIESLennart Levi · 1972
Work, worker and wellbeing: An overviewLevi, Lennart · Work & Stress · 1994
Enemies of the PeopleBrodeur, Paul · NEW SOLUTIONS: A Journal of Environmental and Occupational Health Policy · 1992
Sharing Power:Merrill, Michael · NEW SOLUTIONS: A Journal of Environmental and Occupational Health Policy · 1995
2015 Reviewer Thank YouNEW SOLUTIONS: A Journal of Environmental and Occupational Health Policy · 2016
Position Statement On Climate ChangeNEW SOLUTIONS: A Journal of Environmental and Occupational Health Policy · 2016
Total Cost Assessment:White, Allen L.; Becker, Monica · NEW SOLUTIONS: A Journal of Environmental and Occupational Health Policy · 1992
Criminality and Asbestos in IndustryCastleman, B. · NEW SOLUTIONS: A Journal of Environmental and Occupational Health Policy · 2016
Photovoltaic Cells:Eisl, Holger; Commoner, Barry; The CBNS Staff, · NEW SOLUTIONS: A Journal of Environmental and Occupational Health Policy · 1994
After 20 Years:Commoner, Barry · NEW SOLUTIONS: A Journal of Environmental and Occupational Health Policy · 1990