Information for "Java bytecode verification: Algorithms and formalizations"

From MaRDI portal

Basic information

Display titleJava bytecode verification: Algorithms and formalizations
Default sort keyJava bytecode verification: Algorithms and formalizations
Page length (in bytes)15
Namespace ID0
Page ID9269542
Page content languageen - English
Page content modelwikitext
Indexing by robotsAllowed
Number of redirects to this page1
Counted as a content pageYes
Page views in the past month0
MaRDI portal item IDQ1405988
Central descriptionscientific article; zbMATH DE number 1977865

Page protection

EditAllow all users (infinite)
MoveAllow all users (infinite)
View the protection log for this page.

Edit history

Page creatorImport240129110113 (talk | contribs)
Date of page creation17:13, 31 January 2024
Latest editorAllProfilePages260409040437 (talk | contribs)
Date of latest edit03:03, 13 April 2026
Total number of edits2
Recent number of edits (within past 90 days)1
Recent number of distinct authors1

Page properties

Transcluded templates (19)

Pages included on this page:

MaRDI portal entities used in this page