Carl-Johan H. Seger

Identifiers

• name variant Carl-Johan H. Seger 0.60 · backfill

Papers (1)

1. Word-level Symbolic Trajectory Evaluation cs.LO · 2015 · author #3

Mentions

• 1505.07916 #3 · backfill · confidence 0.70 Carl-Johan H. Seger

Frequent Coauthors

• Dinesh Chhatani 1 shared papers
• Rajkumar Gajavelly 1 shared papers
• Rakesh Mistry 1 shared papers
• Supratik Chakraborty 1 shared papers
• Tanmay Haldankar 1 shared papers
• Zurab Khasidashvili 1 shared papers