BRICS Report Series | Sciweavers

104

PODC
1996
ACM

107views Distributed and Parallel Com...» more PODC 1996»

Automated Logical Verification Based on Trace Abstractions

15 years 7 months ago

95-53Klarlundetal.:AutomatedLogicalVerificationbasedonTraceAbstractions BRICSBasic Research in Computer Science Automated Logical Verification Trace Abstractions Nils Klarlund Moge...

Nils Klarlund, Mogens Nielsen, Kim Sunesen

claim paper

Read More »

click to vote

LOPSTR
2004
Springer

75views Automated Reasoning» more LOPSTR 2004»

From Natural Semantics to Abstract Machines

15 years 8 months ago

Download www.brics.dk

Machines Mads Sig Ager BRICS Report Series RS-04-20 ISSN 0909-0878 October 2004 04-20M.S.Ager:FromNaturalSemanticstoAbstractMachines

Mads Sig Ager

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers