Inferring disjunctive postconditions

Popeea, C.
Chin, W.-N.

Open link

Publication date

January 2007

DOI

10.1007/978-3-540-77505-8_26

Publisher

Springer Science and Business Media LLC

ISSN

0302-9743

Citation count (estimate)

Abstract

10.1007/978-3-540-77505-8_26Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)4435 LNCS331-34

Extracted data

We use cookies to provide a better user experience.

Data Protection

Inferring disjunctive postconditions

Popeea, C.
Chin, W.-N.

Open link

Publication date

January 2007

DOI

10.1007/978-3-540-77505-8_26

Publisher

Springer Science and Business Media LLC

ISSN

0302-9743

Citation count (estimate)

Abstract

10.1007/978-3-540-77505-8_26Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)4435 LNCS331-34

Inferring disjunctive postconditions

Abstract

Extracted data

Inferring disjunctive postconditions

Abstract

Extracted data

Related items

Related items