Program Checking With Less Hassle

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-54108-7_8
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Runtime Checking for Program Verification

English

Less Cash, Less Crime: Evidence From the Electronic Benefit Transfer Program

2014English

Symbolic Checking of Fuzzy CTL on Fuzzy Program Graph

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2018English

Verification of Source Code Transformations by Program Equivalence Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Termination Checking With Types

RAIRO - Theoretical Informatics and Applications
MathematicsComputer Science ApplicationsSoftware
2004English

Checking Pedigree Consistency With PCS

English

There's Less "Crocking," Less "Tarnishing" With PLIOLITE LATEX

Chemical and Engineering News
Chemical Engineering
1960English

Architecture Conformance Checking With Description Logics

2017English

Model Checking MANETs With Arbitrary Mobility

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy