Matches in SemOpenAlex for { <https://semopenalex.org/work/W4252393022> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4252393022 endingPage "115" @default.
- W4252393022 startingPage "97" @default.
- W4252393022 abstract "This report explains the motivation for a workshop on formal techniques for Java programs. It gives an overview of the presentations and summarizes the results of the working groups. Furthermore, it contains abstracts of the contributed papers." @default.
- W4252393022 created "2022-05-12" @default.
- W4252393022 creator A5014066009 @default.
- W4252393022 creator A5021358950 @default.
- W4252393022 creator A5042359645 @default.
- W4252393022 creator A5073853337 @default.
- W4252393022 date "1999-01-01" @default.
- W4252393022 modified "2023-10-17" @default.
- W4252393022 title "Formal Techniques for Java Programs" @default.
- W4252393022 cites W123523327 @default.
- W4252393022 cites W1489800325 @default.
- W4252393022 cites W1533458689 @default.
- W4252393022 cites W1570258731 @default.
- W4252393022 cites W1573258001 @default.
- W4252393022 cites W1583095677 @default.
- W4252393022 cites W1605775181 @default.
- W4252393022 cites W1659048632 @default.
- W4252393022 cites W1829244603 @default.
- W4252393022 cites W1945350451 @default.
- W4252393022 cites W1988295148 @default.
- W4252393022 cites W1989536180 @default.
- W4252393022 cites W1997143185 @default.
- W4252393022 cites W2004442217 @default.
- W4252393022 cites W2013492611 @default.
- W4252393022 cites W2013658284 @default.
- W4252393022 cites W2031863357 @default.
- W4252393022 cites W2094015376 @default.
- W4252393022 cites W2097185397 @default.
- W4252393022 cites W2106472587 @default.
- W4252393022 cites W2142547405 @default.
- W4252393022 cites W2169735850 @default.
- W4252393022 cites W2170389900 @default.
- W4252393022 cites W2292428295 @default.
- W4252393022 cites W2912288127 @default.
- W4252393022 cites W3000560506 @default.
- W4252393022 cites W4230442843 @default.
- W4252393022 cites W4252393022 @default.
- W4252393022 cites W96999758 @default.
- W4252393022 doi "https://doi.org/10.1007/3-540-46589-8_6" @default.
- W4252393022 hasPublicationYear "1999" @default.
- W4252393022 type Work @default.
- W4252393022 citedByCount "6" @default.
- W4252393022 crossrefType "book-chapter" @default.
- W4252393022 hasAuthorship W4252393022A5014066009 @default.
- W4252393022 hasAuthorship W4252393022A5021358950 @default.
- W4252393022 hasAuthorship W4252393022A5042359645 @default.
- W4252393022 hasAuthorship W4252393022A5073853337 @default.
- W4252393022 hasConcept C115903868 @default.
- W4252393022 hasConcept C199360897 @default.
- W4252393022 hasConcept C41008148 @default.
- W4252393022 hasConcept C548217200 @default.
- W4252393022 hasConcept C75606506 @default.
- W4252393022 hasConceptScore W4252393022C115903868 @default.
- W4252393022 hasConceptScore W4252393022C199360897 @default.
- W4252393022 hasConceptScore W4252393022C41008148 @default.
- W4252393022 hasConceptScore W4252393022C548217200 @default.
- W4252393022 hasConceptScore W4252393022C75606506 @default.
- W4252393022 hasLocation W42523930221 @default.
- W4252393022 hasOpenAccess W4252393022 @default.
- W4252393022 hasPrimaryLocation W42523930221 @default.
- W4252393022 hasRelatedWork W1486696980 @default.
- W4252393022 hasRelatedWork W1502256359 @default.
- W4252393022 hasRelatedWork W1538236101 @default.
- W4252393022 hasRelatedWork W1558040955 @default.
- W4252393022 hasRelatedWork W1571558219 @default.
- W4252393022 hasRelatedWork W1831616876 @default.
- W4252393022 hasRelatedWork W185412380 @default.
- W4252393022 hasRelatedWork W4285199770 @default.
- W4252393022 hasRelatedWork W4384163477 @default.
- W4252393022 hasRelatedWork W2528467228 @default.
- W4252393022 isParatext "false" @default.
- W4252393022 isRetracted "false" @default.
- W4252393022 workType "book-chapter" @default.