SwePub
Sök i LIBRIS databas

  Utökad sökning

id:"swepub:oai:DiVA.org:uu-212135"
 

Sökning: id:"swepub:oai:DiVA.org:uu-212135" > Verification of heap...

Verification of heap manipulating programs with ordered data by extended forest automata

Abdulla, Parosh Aziz (författare)
Uppsala universitet,Datorteknik,Algorithmic Program Verification
Holík, Lukás (författare)
Jonsson, Bengt (författare)
Uppsala universitet,Datorteknik,Algorithmic Program Verification
visa fler...
Lengál, Ondrej (författare)
Trinh, Cong Quy (författare)
Uppsala universitet,Datorteknik
Vojnar, Tomás (författare)
visa färre...
 (creator_code:org_t)
Cham : Springer Berlin/Heidelberg, 2013
2013
Engelska.
Ingår i: Automated Technology for Verification and Analysis. - Cham : Springer Berlin/Heidelberg. - 9783319024431 ; , s. 224-239
  • Konferensbidrag (refereegranskat)
Ämnesord
Stäng  

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
NATURAL SCIENCES  -- Computer and Information Sciences -- Computer Sciences (hsv//eng)

Nyckelord

Datavetenskap
Computer Science

Publikations- och innehållstyp

ref (ämneskategori)
kon (ämneskategori)

Hitta via bibliotek

Till lärosätets databas

Sök utanför SwePub

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy