Showing
1 - 2
results of
2
for search '
"Predicate abstraction."
'
Skip to content
UPFind
Bogkurv:
0
emner
(Fuld)
Sprog
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Alle Felter
Titel
Forfatter
Fag
Klassifikationsnummer
ISBN/ISSN
Find
Udvidet
Søgeresultater - "Predicate abstraction."
Showing
1 - 2
results of
2
for search '
"Predicate abstraction."
'
, Forespørselstid: 0.02s
Refine Results
Sortér
Relevans
Newest to Oldest
Oldest to Newest
Forfatter
Titel
Select Page
Email
Eksportér
Udskriv
Tilføj til Bogkurv
Select result number 1
1
Joining dataflow with predicates.
af
Fischer, Jeffrey
Udgivet i
Software engineering notes.
Klassifikationsnummer:
loading...
Findes i:
loading...
Article
loading...
Tilføj til Bogkurv
Fjern fra Bogkurv
Select result number 2
2
Explaining abstract counterexamples.
af
Chaki, Sagar
Udgivet i
Software engineering notes.
Klassifikationsnummer:
loading...
Findes i:
loading...
Article
loading...
Tilføj til Bogkurv
Fjern fra Bogkurv
Select Page
Email
Eksportér
Udskriv
Tilføj til Bogkurv
Søgeredskaber:
Email denne søgning
Back
Refine Results
Page will reload when a filter is selected or excluded.
DATABASE
Union Catalog (Buklod)
2 results
2
AUTHOR
Chaki, Sagar
1 results
1
Fischer, Jeffrey
1 results
1
RESOURCE TYPE
Article
2 results
2
LANGUAGE
English
2 results
2
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman