Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Mark S. Moriconi

A System for Incrementally Designing and Verifying Programs, Volume 1

1978English

Related publications

HOLCF '11: A Definitional Domain Theory for Verifying Functional Programs

2000English

Verifying Networked Programs Using a Model Checker Extension

2009English

Verifying Programs With Dynamic 1-Selector-Linked Structures in Regular Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Verifying Message-Passing Programs With Dependent Behavioural Types

2019English

Incrementally Closing Octagons

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2018English

Designing Effective Training Programs for Investigative Interviewers of Children

Current Issues in Criminal Justice
2008English

Evolutionary System for Data Processing. Volume 1. System Description

1968English

Verifying a Compiler for Java Threads

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Designing a System for Online Orchestra: Peripheral Equipment

Journal of Music, Technology and Education
Computer Science ApplicationsEducationMusic
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy