Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570343895> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1570343895 endingPage "505" @default.
- W1570343895 startingPage "491" @default.
- W1570343895 abstract "We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally proved correct with respect to a natural semantics. It is implemented in the KIV system and used for smart card applications." @default.
- W1570343895 created "2016-06-24" @default.
- W1570343895 creator A5018907838 @default.
- W1570343895 date "2004-01-01" @default.
- W1570343895 modified "2023-10-17" @default.
- W1570343895 title "A Formally Verified Calculus for Full Java Card" @default.
- W1570343895 cites W1486696980 @default.
- W1570343895 cites W1490966766 @default.
- W1570343895 cites W1499168760 @default.
- W1570343895 cites W1544646281 @default.
- W1570343895 cites W1569794958 @default.
- W1570343895 cites W1578369239 @default.
- W1570343895 cites W1748251377 @default.
- W1570343895 cites W2130853806 @default.
- W1570343895 cites W2134072717 @default.
- W1570343895 cites W2170898576 @default.
- W1570343895 cites W4252393022 @default.
- W1570343895 cites W58308675 @default.
- W1570343895 doi "https://doi.org/10.1007/978-3-540-27815-3_37" @default.
- W1570343895 hasPublicationYear "2004" @default.
- W1570343895 type Work @default.
- W1570343895 sameAs 1570343895 @default.
- W1570343895 citedByCount "33" @default.
- W1570343895 countsByYear W15703438952012 @default.
- W1570343895 countsByYear W15703438952013 @default.
- W1570343895 countsByYear W15703438952014 @default.
- W1570343895 countsByYear W15703438952016 @default.
- W1570343895 countsByYear W15703438952021 @default.
- W1570343895 crossrefType "book-chapter" @default.
- W1570343895 hasAuthorship W1570343895A5018907838 @default.
- W1570343895 hasConcept C109701466 @default.
- W1570343895 hasConcept C11413529 @default.
- W1570343895 hasConcept C15524039 @default.
- W1570343895 hasConcept C199343813 @default.
- W1570343895 hasConcept C199360897 @default.
- W1570343895 hasConcept C2777686260 @default.
- W1570343895 hasConcept C2984882572 @default.
- W1570343895 hasConcept C41008148 @default.
- W1570343895 hasConcept C47747970 @default.
- W1570343895 hasConcept C548217200 @default.
- W1570343895 hasConcept C71924100 @default.
- W1570343895 hasConcept C80444323 @default.
- W1570343895 hasConceptScore W1570343895C109701466 @default.
- W1570343895 hasConceptScore W1570343895C11413529 @default.
- W1570343895 hasConceptScore W1570343895C15524039 @default.
- W1570343895 hasConceptScore W1570343895C199343813 @default.
- W1570343895 hasConceptScore W1570343895C199360897 @default.
- W1570343895 hasConceptScore W1570343895C2777686260 @default.
- W1570343895 hasConceptScore W1570343895C2984882572 @default.
- W1570343895 hasConceptScore W1570343895C41008148 @default.
- W1570343895 hasConceptScore W1570343895C47747970 @default.
- W1570343895 hasConceptScore W1570343895C548217200 @default.
- W1570343895 hasConceptScore W1570343895C71924100 @default.
- W1570343895 hasConceptScore W1570343895C80444323 @default.
- W1570343895 hasLocation W15703438951 @default.
- W1570343895 hasOpenAccess W1570343895 @default.
- W1570343895 hasPrimaryLocation W15703438951 @default.
- W1570343895 hasRelatedWork W1570343895 @default.
- W1570343895 hasRelatedWork W1594975933 @default.
- W1570343895 hasRelatedWork W2068892086 @default.
- W1570343895 hasRelatedWork W2141029595 @default.
- W1570343895 hasRelatedWork W2197133764 @default.
- W1570343895 hasRelatedWork W2567371948 @default.
- W1570343895 hasRelatedWork W3121650164 @default.
- W1570343895 hasRelatedWork W590871224 @default.
- W1570343895 hasRelatedWork W59554888 @default.
- W1570343895 hasRelatedWork W2788733230 @default.
- W1570343895 isParatext "false" @default.
- W1570343895 isRetracted "false" @default.
- W1570343895 magId "1570343895" @default.
- W1570343895 workType "book-chapter" @default.