Session details: Core techniques in formal verification

Simple item page
dc.contributor.authorPranav Ashar
dc.coverage.spatialBolivia
dc.date.accessioned2026-03-22T18:21:22Z
dc.date.available2026-03-22T18:21:22Z
dc.date.issued2010
dc.description.abstractNo abstract available.
dc.identifier.doi10.1145/3254414
dc.identifier.urihttps://doi.org/10.1145/3254414
dc.identifier.urihttps://andeanlibrary.org/handle/123456789/69626
dc.language.isoen
dc.sourceUniversidad Real
dc.subjectSession (web analytics)
dc.subjectComputer science
dc.subjectCore (optical fiber)
dc.subjectFormal verification
dc.subjectProgramming language
dc.titleSession details: Core techniques in formal verification
dc.typearticle

Files

Collections

Artículo Científico Publicado