UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Further Lessons from the JML Project

The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.313-349

2022

Volltextzugriff (PDF)

Abstraction in Deductive Verification: Model Fields and Model Methods

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, p.29-44

Volltextzugriff (PDF)

Java Automated Deductive Verification in Practice: Lessons from Industrial Proof-Based Projects

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, p.176-193

Volltextzugriff (PDF)

Report on SL-COMP 2014

Journal on satisfiability, Boolean modeling and computation, 2016-01, Vol.9 (1), p.173-186

2016

Volltextzugriff (PDF)

JML and OpenJML for Java 16

Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021, p.65-67

Cok, David R.

2021

Volltextzugriff (PDF)

Improved usability and performance of SMT solvers for debugging specificationsqvsl: 20101200

International journal on software tools for technology transfer, 2010-11, Vol.12 (6), p.467

Cok, David R

2010

Volltextzugriff (PDF)

Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language

Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, 2022, p.26-28

2022

Volltextzugriff (PDF)

The 2014 SMT Competition

Journal on satisfiability, Boolean modeling and computation, 2016-01, Vol.9 (1), p.207-242

2016

Volltextzugriff (PDF)

Reasoning about functional programming in Java and C++

Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018, p.37-39

Cok, David R.

2018

Volltextzugriff (PDF)

Specifying java iterators with JML and Esc/Java2

International Conference on Software Engineering: Proceedings of the 2006 conference on Specification and verification of component-based systems; 10-11 Nov. 2006, 2006, p.71-74

Cok, David R.

2006

Volltextzugriff (PDF)

Automated Reasoning Repair

Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, 2022, p.11-14

2022

Volltextzugriff (PDF)

Detecting boundaries in a vector field

IEEE transactions on signal processing, 1991-05, Vol.39 (5), p.1181-1194

1991

Volltextzugriff (PDF)

Specifying the Boundary Between Unverified and Verified Code

The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.105-128

2022

Volltextzugriff (PDF)

Erratum: Hyperfine structure of the X 2Σ+ ground state of Ca 35Cl and Ca 37Cl by molecular-beam, laser-rf double resonance [ J. Chem. Phys. 7 6 , 3993 (1982)]

The Journal of chemical physics, 1984-03, Vol.80 (5), p.2246-2246

1984

Volltextzugriff (PDF)

On the perturbations of a close-Earth satellite due to lunar inequalities

Celestial Mechanics, 1977-12, Vol.16 (4), p.459-479

Cok, David R.

1987

Volltextzugriff (PDF)

1 – 25 von 28

Menü

Weitere Dienste

Einstellungen

Further Lessons from the JML Project

Abstraction in Deductive Verification: Model Fields and Model Methods

Java Automated Deductive Verification in Practice: Lessons from Industrial Proof-Based Projects

Report on SL-COMP 2014

JML and OpenJML for Java 16

Improved usability and performance of SMT solvers for debugging specificationsqvsl: 20101200

Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language

The 2014 SMT Competition

Reasoning about functional programming in Java and C++

Specifying java iterators with JML and Esc/Java2

Automated Reasoning Repair

Detecting boundaries in a vector field

Specifying the Boundary Between Unverified and Verified Code

Erratum: Hyperfine structure of the X 2Σ+ ground state of Ca 35Cl and Ca 37Cl by molecular-beam, laser-rf double resonance [ J. Chem. Phys. 7 6 , 3993 (1982)]

On the perturbations of a close-Earth satellite due to lunar inequalities

Hyperfine structure of the X 2Σ+ ground state of Ca 35Cl and Ca 37Cl by molecular-beam, laser-rf double resonance

Observation of high-power resonance line-shapes in an unstable two-level system

Atomic-beam measurements of helium F − G , F − H , and F − I intervals

Vibrational, rotational, and isotopic dependence of CaBr X2Σ spin-rotational and HFS parameters

Investigation of Unresolved hfs Splittings in the B 2 Σ State of CaCl with Use of rf-Pumped-Laser Double-Resonance Spectroscopy

Hyperfine and spin–rotational structure of CaBr X 2Σ (v = 0) by molecular-beam laser-rf double resonance

Measurement of the magnetic fine structure of the 10G and 10H states of helium

Magnetic and electric fine structure in helium Rydberg states

Erratum: Magnetic and electric fine structure in helium Rydberg states

Measurement of the magnetic fine structure of the 10 G and 10 H states of helium

Aktive Filter

Suchergebnisse filtern