A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java

doi 10.1007/978-3-540-73368-3_6
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Springer Berlin Heidelberg

Related search

The Fraction of Ischaemic Heart Disease and Stroke Attributable to Smoking in the WHO Western Pacific and South-East Asian Regions

Tobacco Control
EnvironmentalPublic HealthHealthOccupational Health
2006English

Factors Influencing Intention to Obtain the HPV Vaccine in South East Asian and Western Pacific Regions: A Systematic Review and Meta-Analysis

Scientific Reports
Multidisciplinary
2018English

Trends in Population Attributable Fraction of Acute Coronary Syndrome and Ischaemic Stroke Due to Diabetes in Finland

Diabetologia
Internal MedicineEndocrinologyMetabolismDiabetes
2011English

Preventable Ischaemic Heart Disease and Stroke Deaths Attributable to Insufficient Physical Activity: A Comparative Risk Assessment Analysis in the Argentinian Population

International Journal of Sports and Exercise Medicine
2017English

Age- And Sex-Specific Burden of Cardiovascular Disease Attributable to 5 Major and Modifiable Risk Factors in 10 Asian Countries of the Western Pacific Region

Circulation Journal
MedicineCardiovascular MedicineCardiology
2015English

Alcohol-Attributable Fraction of Ischemic Heart Disease Mortality in Russia

ISRN Cardiology
2013English

Impacts of the Tropical Western Pacific on the East Asian Summer Monsoon

Journal of the Meteorological Society of Japan
Atmospheric Science
1992English

Application of the Modified PGW Method for Determining the Smoking Attributable Fraction of Deaths in New Zealand Maori, Pacific and Non-Maori Non-Pacific Populations

Demographic Research
Demography
2013English

Coronary Heart Disease and Stroke Disease Burden Attributable to Fruit and Vegetable Intake in Japan: Projected DALYS to 2060

BMC Public Health
EnvironmentalPublic HealthOccupational Health
2019English

Burden of Disease Attributable to Smoking in Colombia

Value in Health
MedicineHealth PolicyPublic HealthOccupational HealthEnvironmental
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy