Discover open access scientific publications

Search, annotate, share and cite publications

Publications by K. Rustan

Developing Verified Programs With Dafny

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Related publications

Towards Verified Stochastic Variational Inference for Probabilistic Programs

Proceedings of the ACM on Programming Languages

English

Legal Concerns With Academic Engagement Programs in Developing Countries

International Journal for Service Learning in Engineering, Humanitarian Engineering and Social Entrepreneurship

English

Developing Dental Programs Within Model Cities.

American Journal of Public Health

Occupational Health

English

Developing and Using Monitoring Programs for Fresh Cows

Kansas Agricultural Experiment Station Research Reports

English

Developing Correct and Efficient Logic Programs by Transformation*

Knowledge Engineering Review

Artificial Intelligence

English

Lessons in Developing Successful Invasive Weed Control Programs

Journal of Range Management

English

Acoustic Meta-Atom With Experimentally Verified Maximum Willis Coupling

Nature Communications

Molecular Biology

English

Developing Instruments for Need Assessment in Crisis Counseling Programs

English

Alternative Programs of Cell Death in Developing Retinal Tissue

Journal of Biological Chemistry

Molecular Biology

English