Slicing execution with partial weakest precondition for model abstraction of C programs /

Codi QR

Slicing execution with partial weakest precondition for model abstraction of C programs /

Guardat en:

Dades bibliogràfiques
Autor principal:	Yang, Xuejun.
Altres autors:	Wang, Ji., Yi, Xiaodong.
Format:	Article
Idioma:	English
Matèries:	Model abstraction Partial weakest precondition Slicing execution
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Ítems similars

A model fit statistic for generalized partial credit model /
per: Liang, Tie.

Heuristic-guided abstraction refinement /

Harmonic Analysis, Partial Differential Equations and Applications. 1st ed. 2017
per: Chanillo, Sagun, et al.
Publicat: (2020)

Linear partial differential operators /
per: Hörmander, Lars.
Publicat: (1969)

The executive in transition
per: Randall, Clarence B.
Publicat: (1967)

Partial Differential Equations
per: Epstein, Marcelo
Publicat: (2020)

Partial differential equations
per: F. John

Partial differential equations /
per: Garabedian, Paul.
Publicat: (1986)

Global executive leadership inventory :
per: Vries, Manfred F. R. Kets de
Publicat: (2005)

Applied partial differential equations
Publicat: (1999)

Lectures on partial differential equations /
per: Arnolʹd, V. I. 1937-2010.
Publicat: (2004)

Lectures on partial differential equations /
per: Petrovsky, I. G.
Publicat: (1991)

Lectures on partial differential equations /
per: Arnolʹd, V. I. 1937-2010.
Publicat: (2004)

Toward the liberally educated executive
per: Goldwin, Robert A.
Publicat: (1960)

Executive essentials
per: Posner, Mitchell J.
Publicat: (1982)

Partial differential equations (with 42 illustrations)
per: Jeffrey Rauch
Publicat: (1991)

Partial differential equations (with 25 figures)
per: Fritz John (1910-
Publicat: (1981)

Partial differential equations of applied mathematics
per: Zauderer, Erich
Publicat: (2006)

Learning with Partially Labeled and Interdependent Data
per: Amini, Massih-Reza, et al.
Publicat: (2015)

Book of abstracts
Publicat: (2005)

Systems of partial differential equations and algebraic geometry.
per: Petrowsky, I.G.
Publicat: (1996)

Partial Differential Equations in Action Complements and Exercises
per: Salsa, Sandro, et al.
Publicat: (2015)

An introduction to partial differential equations
per: Pinchover, Yehuda
Publicat: (2005)

Introduction to partial differential equations /
per: Pinchover, Yehuda, 1953-
Publicat: (2005)

Introduction to indexing and abstracting
per: Cleveland, Donald B.
Publicat: (2001)

Applied abstract algebra /
per: Lidl, Rudolf.
Publicat: (1998)

Review of Mid-Japan and executives
Publicat: (1971)

Executive thinking :
per: Kossoff, Leslie L.
Publicat: (1999)

The red executive :
per: Granick, David
Publicat: (1960)

Topics in applied abstract algebra
per: S. R. Nagpaul
Publicat: (2005)

Advanced indexing and abstracting practices
per: Parekh, L. R.
Publicat: (2000)

Rigorous Time Slicing Approach to Feynman Path Integrals. 1st ed. 2017
per: Fujiwara, Daisuke
Publicat: (2020)

Biological abstracts :
Publicat: (1997)

Biological abstracts :
Publicat: (1997)

A first course in abstract algebra
per: Fraleigh, John B.
Publicat: (2003)

Abstract algebra: the basic graduate year
per: Ash, Robert B.
Publicat: (2009)

A first course in partial differential equations with complex variables and transform methods /
per: Weinberger, Hans F.
Publicat: (1965)

Abstracting practices in libraries
Publicat: (2001)

The functions of the executive.
per: Barnard, Chester Irving
Publicat: (1968)

Weak solutions to a Penrose-Fife model for phase transitions /
per: Laurencot, Ph..