Matches in SemOpenAlex for { <https://semopenalex.org/source/S4306420750> ?p ?o ?g. }
Showing items 1 to 24 of
24
with 100 items per page.
- S4306420750 created "2022-10-17" @default.
- S4306420750 modified "2023-10-06" @default.
- S4306420750 h-index "14" @default.
- S4306420750 type Source @default.
- S4306420750 sameAs Q105696272 @default.
- S4306420750 name "Programming Languages meets Program Verification" @default.
- S4306420750 2YrMeanCitedness "0" @default.
- S4306420750 citedByCount "31" @default.
- S4306420750 countsByYear S43064207502012 @default.
- S4306420750 countsByYear S43064207502013 @default.
- S4306420750 countsByYear S43064207502014 @default.
- S4306420750 countsByYear S43064207502015 @default.
- S4306420750 countsByYear S43064207502016 @default.
- S4306420750 countsByYear S43064207502017 @default.
- S4306420750 countsByYear S43064207502018 @default.
- S4306420750 countsByYear S43064207502019 @default.
- S4306420750 countsByYear S43064207502020 @default.
- S4306420750 countsByYear S43064207502022 @default.
- S4306420750 countsByYear S43064207502023 @default.
- S4306420750 i10Index "20" @default.
- S4306420750 isInDoaj "false" @default.
- S4306420750 isOa "false" @default.
- S4306420750 sourceType "conference" @default.
- S4306420750 worksCount "6" @default.